Fixed-Parameter Approximability of Boolean MinCSPs

The minimum unsatisfiability version of a constraint satisfaction problem (CSP) asks for an assignment where the number of unsatisfied constraints is minimum possible, or equivalently, asks for a minimum-size set of constraints whose deletion makes the instance satisfiable. For a finite set Gamma of constraints, we denote by CSP(Gamma) the restriction of the problem where each constraint is from Gamma. The polynomial-time solvability and the polynomial-time approximability of CSP(Gamma) were fully characterized by [Khanna et al. SICOMP 2000]. Here we study the fixed-parameter (FP-) approximability of the problem: given an instance and an integer k, one has to find a solution of size at most g(k) in time f(k)n^{O(1)} if a solution of size at most k exists. We especially focus on the case of constant-factor FP-approximability. Our main result classifies each finite constraint language Gamma into one of three classes: (1) CSP(Gamma) has a constant-factor FP-approximation; (2) CSP(Gamma) has a (constant-factor) FP-approximation if and only if Nearest Codeword has a (constant-factor) FP-approximation; (3) CSP(Gamma) has no FP-approximation, unless FPT=W[P]. We show that problems in the second class do not have constant-factor FP-approximations if both the Exponential-Time Hypothesis (ETH) and the Linear PCP Conjecture (LPC) hold. We also show that such an approximation would imply the existence of an FP-approximation for the k-Densest Subgraph problem with ratio 1-epsilon for any epsilon>0

Az atomi környezet hatása a rezonáns és nem rezonáns belsőhéj átmenetekre = Effects of the atomic environment on the resonant and non-resonant inner-shell transitions

Kísérleti eredményeinkből meghatároztuk 3d fémek fotonindukált KLL és KLM Auger átmeneteinek energiáit és relatív intenzitásait, a rezonáns fotongerjesztéssel kapott, a lokális elektronszerkezetet tükröző KLL spektrumokat összehasonlítottuk modellszámításainkkal. Elektronkorrelációs szatelliteket azonosítottunk a 3d fémek mért 1s fotoelektronspektrumaiban és modellszámításainkkal értelmeztük az 1s vonalak alakját. NiFe ötvözetek esetében a mért ötvözet-fém Auger paraméter eltolódásokból meghatároztuk az összetevők közötti töltésátadást, kielégítő egyezést kapva modellszámításainkkal. Módszert és programcsomagot fejlesztettünk ki az elektronvisszaszórásos kísérleteinkből kapott elektronspektrumokból a felületi rétegekben zajló elektrontranszportot jellemző fizikai paraméterek és eloszlások meghatározására, ezeket a mennyiségeket kísérleti adatainkból meghatároztuk 3d fémek esetében és alkalmaztuk a mért fotonindukált K-Auger és belsőhéj fotoelektron spektrumaink kiértékelésére és modellezésére. Új elektronszórási jelenséget (felület fölötti szórás) írtunk le, amelyet a kísérleti eredmények igazoltak. Félvezető detektorok töltéstranszport folyamatai leírására, áramjelei meghatározására 3D MC szimulációs modellt dolgoztunk ki, ez a detektorban keltett szabad töltéshordozók mozgását korlátozó folyamatokat a korábbinál részletesebben írja le. A modell érvényét és a programot Si pin fotodióda esetén korábbi kísérleti, ill. MC szimulációs diffúziós és drift adatokkal ellenőriztük. | From new experiments the energies and relative intensities of the KLL and KLM Auger transitions photoinduced from 3d metals were determined and the KLL spectra obtained using resonant photoexcitation (reflecting the effects of the local electronic structure) were compared with model calculations. Electron correlátion satellites were identified in all measured 1s photoelectron spectra of 3d metals and the 1s lineshapes were interpreted by model calculations. In the case of NiFe alloys the charge transfer was derived from the measured alloy-metal Auger parameter shifts, in a satisfactory agreement with model calculations. A method and program package were developed for determining the physical parameters and distributions - characterizing the electron transport in surface layers – from spectra of electrons backscattered from 3d metals. These quantities were applied for evaluating and modeling the measured K-Auger and core photoelectron spectra. A new electron scattering phenomenon (super surface scattering) has been described and confirmed by experiments. A 3D MC model to simulate the charge transport and to aid the derivation of current signal in semiconductor radiation detectors was developed. The model describes the processes limiting the movement of free charge carriers in the detectors in more details than other models. The model and the program was tested for Si pin photodiode, its validity was verified by earlier experimental and MC simulated diffusion and drift data

Skalans betydelse vid utformning av stadsrum

When one experiences a place, it is a complex composition of both social and spatial factors. One of these spatial elements, is scale, which is influenced both by the room size and its proportions. This paper aims to explore both large and small scale concepts and thus increase the understanding of how scale directly and indirectly affects the experiences and uses of urban space. First, is a theoretical discussion of scale in relation to aesthetics and the differences between real scale and perceived scale. Next, is an analysis of spatial perception using examples from two existing sites. One, which is understood to have been planned in a large scale and one which is understood to have been planned in a small scale. When preparing this paper, the focus quickly became the importance of scale as it relates to street spaces. The perception of a street usually takes place while in motion, which forces it to be perceived in sections. Depending on the design, these sections can create an experience of the street space that could be large, small or diverse. The key to creating interesting environments is to find the right balance between variation in scale and richness in details

Termelési struktúrák, mint komplex, adaptív rendszerek = Production structures as Complex Adaptive Systems

A kutatás során fontos lépéseket tettünk a dinamikus, rugalmas termelési struktúrák modellezésének, tervezésének, irányításának és menedzsmentjének elméleti megalapozása terén. Figyelembe vettük a termelési hierarchia különböző szintjeit, a műhelyektől a vállalatokon át a termelési hálózatokig, szinergiákra törekedve az optimálás, az autonómia és a kooperáció tekintetében. Az OTKA-támogatás feltüntetésével 47 publikáció született, melyek közül 17 folyóiratcikk (köztük 13 impaktos, 19,546-os összimpakttal), 1 könyvfejezet és 29 konferenciacikk. Megkezdődött az eredmények ipari bevezetése (GE, Hitachi, Audi, GAMESA, Bosch, Knorr Bremse, Bosch-Rexroth, stb.)) az MTA SZTAKI keretében működő Fraunhofer Termelésirányítás és –informatika Projektközpont (http://www.fraunhofer.hu) keretében. | Significant steps were made towards the theoretical foundation of modelling, planning, control and management of dynamic, flexible production structures. Levels from shop floors through enterprises to the production networks were considered, and a synergy between the aspects of optimization, autonomy, and cooperation was aimed at. With indications to the OTKA support, as a whole, 47 papers have been published, i.e., 17 journal papers (among them 13 in journals with impact factors, with a cumulative impact factor of 19,546), 1 book chapter and 29 conference papers. The industrial deployment of the results was partly started in GE, Hitachi, Audi, GAMESA, Bosch, Knorr Bremse, Bosch-Rexroth, etc., mainly in the framework of the SZTAKI-Fraunhofer Production Management and –Informatics Project Center (http://www.fraunhofer.hu)